Non-functionality analysis and verification based on Aspect-Z
نویسندگان
چکیده
منابع مشابه
MAVEN: modular aspect verification and interference analysis
Aspects are program modules that include descriptions of key events (called joinpoints) and code segments (called advice) to be executed at those key events when the aspect is bound (woven) to an underlying system. The MAVEN tool verifies the correctness of an aspect relative to its specification, independently of any specific underlying system to which it may be woven, and also allows establis...
متن کاملModular Aspect Verification for Safer Aspect-Based Evolution
A long-term research goal for Aspect-Oriented Programming is the modular verification of aspects such that safe evolution and reuse is facilitated. However, one of the fundamental problems with verifying aspect-oriented programs is the inability to determine the effect of the weaving process on the control flow of the program, and thus on the state of the system and subsequently the properties ...
متن کاملon the effect of linear & non-linear texts on students comprehension and recalling
چکیده ندارد.
15 صفحه اولCascaded Multilevel Inverter Based on Quasi-Z-Source Converter: Analysis, Design and Study of Optimal Structures
In this paper, a new topology for cascaded multilevel inverter based on quasi-Z-source converter is proposed. In the proposed topology the magnitude of output DC voltage is not limited to the sum of magnitude of DC voltage sources. Moreover, the reliability of the circuit due to capability of short circuit by Z-source network is increased. The quasi-Z- source converter in different modes is ana...
متن کاملAspect-based Sentiment Analysis on Hotel Reviews
In this project we explored varieties of supervised machine learning methods for the purpose of sentiment analysis on TripAdvisor hotel reviews. We experimented and explored with the factors that affect accuracy of the predictions to develop a satisfying review analyzer. We focus on not only the overall opinions but also aspect based opinions including service, rooms, location, value, cleanline...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2021
ISSN: 1742-6588,1742-6596
DOI: 10.1088/1742-6596/1952/4/042028